The C Programming Language - PDFSEARCH.IO - Document Search Engine

The C Programming Language
Results: 2005

#	Item
381	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
382	Gentee overview Introduction The Gentee programming language can be classified as a procedure-oriented language with some features typical of object-oriented programming. It has no complicated constructions and is easy t Add to Reading List Source URL: www.gentee.com Language: English - Date: 2009-09-29 11:25:48 Data types Source code Primitive types C programming language Public domain software Macro Constant C syntax C Computer programming Software engineering Computing
383	he SNOBOL4 Programming Language he SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2011-01-30 05:09:52 Data types SNOBOL Pattern matching Compiler C String Programming language Variable Primitive data type Software engineering Computing Computer programming
384	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
385	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
386	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
387	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2015-04-13 10:41:52 Subroutines Data types Functional programming Object-oriented programming C++ Immutable object Anonymous function Main function Constructor Software engineering Computing Computer programming
388	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: ftp.yz.yamagata-u.ac.jp Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
389	Usability Extensions for the Worklet Service Michael Adams Queensland University of Technology, Brisbane, Australia. Abstract. The YAWL Worklet Service is an effective approach to facilitating dynami Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-06-03 05:01:40 C programming language International Obfuscated C Code Contest Word square Computer programming Computing Software engineering
390	New Section GUIDELINES FOR CREATING AND CHANGING CODE UNITS AND FOR THE CREATION AND REVISION OF UNIT CODES CONTENTS I. Code Units A. Add to Reading List Source URL: www.ecu.edu Language: English - Date: 2012-06-26 15:39:13 C Cross-platform software Programming language theory Procedural programming languages Computing Software engineering

UPDATE